<a href="#home">Home</a>
<a href="#pages()">Pages</a>
<a href="#admin()">Admin</a>

<div id="pages">
    <a href="#failure_browser">Failure Browser</a>
    <a href="#application_manager">Application Manager</a>
</div>

<div id="admin">
    <a href="#property_editor">Property Editor</a>
    <a href="#page_editor">Page Editor</a>
</div>
        